Optimal. Leaf size=153 \[ \frac{a^5 p x^{3/2}}{12 b^5}-\frac{a^4 p x^2}{16 b^4}+\frac{a^3 p x^{5/2}}{20 b^3}-\frac{a^2 p x^3}{24 b^2}+\frac{a^7 p \sqrt{x}}{4 b^7}-\frac{a^6 p x}{8 b^6}-\frac{a^8 p \log \left (a+b \sqrt{x}\right )}{4 b^8}+\frac{1}{4} x^4 \log \left (c \left (a+b \sqrt{x}\right )^p\right )+\frac{a p x^{7/2}}{28 b}-\frac{p x^4}{32} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.117554, antiderivative size = 153, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.167, Rules used = {2454, 2395, 43} \[ \frac{a^5 p x^{3/2}}{12 b^5}-\frac{a^4 p x^2}{16 b^4}+\frac{a^3 p x^{5/2}}{20 b^3}-\frac{a^2 p x^3}{24 b^2}+\frac{a^7 p \sqrt{x}}{4 b^7}-\frac{a^6 p x}{8 b^6}-\frac{a^8 p \log \left (a+b \sqrt{x}\right )}{4 b^8}+\frac{1}{4} x^4 \log \left (c \left (a+b \sqrt{x}\right )^p\right )+\frac{a p x^{7/2}}{28 b}-\frac{p x^4}{32} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2454
Rule 2395
Rule 43
Rubi steps
\begin{align*} \int x^3 \log \left (c \left (a+b \sqrt{x}\right )^p\right ) \, dx &=2 \operatorname{Subst}\left (\int x^7 \log \left (c (a+b x)^p\right ) \, dx,x,\sqrt{x}\right )\\ &=\frac{1}{4} x^4 \log \left (c \left (a+b \sqrt{x}\right )^p\right )-\frac{1}{4} (b p) \operatorname{Subst}\left (\int \frac{x^8}{a+b x} \, dx,x,\sqrt{x}\right )\\ &=\frac{1}{4} x^4 \log \left (c \left (a+b \sqrt{x}\right )^p\right )-\frac{1}{4} (b p) \operatorname{Subst}\left (\int \left (-\frac{a^7}{b^8}+\frac{a^6 x}{b^7}-\frac{a^5 x^2}{b^6}+\frac{a^4 x^3}{b^5}-\frac{a^3 x^4}{b^4}+\frac{a^2 x^5}{b^3}-\frac{a x^6}{b^2}+\frac{x^7}{b}+\frac{a^8}{b^8 (a+b x)}\right ) \, dx,x,\sqrt{x}\right )\\ &=\frac{a^7 p \sqrt{x}}{4 b^7}-\frac{a^6 p x}{8 b^6}+\frac{a^5 p x^{3/2}}{12 b^5}-\frac{a^4 p x^2}{16 b^4}+\frac{a^3 p x^{5/2}}{20 b^3}-\frac{a^2 p x^3}{24 b^2}+\frac{a p x^{7/2}}{28 b}-\frac{p x^4}{32}-\frac{a^8 p \log \left (a+b \sqrt{x}\right )}{4 b^8}+\frac{1}{4} x^4 \log \left (c \left (a+b \sqrt{x}\right )^p\right )\\ \end{align*}
Mathematica [A] time = 0.131131, size = 134, normalized size = 0.88 \[ \frac{1}{4} \left (x^4 \log \left (c \left (a+b \sqrt{x}\right )^p\right )-\frac{p \left (-280 a^5 b^3 x^{3/2}+210 a^4 b^4 x^2-168 a^3 b^5 x^{5/2}+140 a^2 b^6 x^3+420 a^6 b^2 x-840 a^7 b \sqrt{x}+840 a^8 \log \left (a+b \sqrt{x}\right )-120 a b^7 x^{7/2}+105 b^8 x^4\right )}{840 b^8}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.299, size = 0, normalized size = 0. \begin{align*} \int{x}^{3}\ln \left ( c \left ( a+b\sqrt{x} \right ) ^{p} \right ) \, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.10123, size = 162, normalized size = 1.06 \begin{align*} \frac{1}{4} \, x^{4} \log \left ({\left (b \sqrt{x} + a\right )}^{p} c\right ) - \frac{1}{3360} \, b p{\left (\frac{840 \, a^{8} \log \left (b \sqrt{x} + a\right )}{b^{9}} + \frac{105 \, b^{7} x^{4} - 120 \, a b^{6} x^{\frac{7}{2}} + 140 \, a^{2} b^{5} x^{3} - 168 \, a^{3} b^{4} x^{\frac{5}{2}} + 210 \, a^{4} b^{3} x^{2} - 280 \, a^{5} b^{2} x^{\frac{3}{2}} + 420 \, a^{6} b x - 840 \, a^{7} \sqrt{x}}{b^{8}}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.46633, size = 313, normalized size = 2.05 \begin{align*} -\frac{105 \, b^{8} p x^{4} - 840 \, b^{8} x^{4} \log \left (c\right ) + 140 \, a^{2} b^{6} p x^{3} + 210 \, a^{4} b^{4} p x^{2} + 420 \, a^{6} b^{2} p x - 840 \,{\left (b^{8} p x^{4} - a^{8} p\right )} \log \left (b \sqrt{x} + a\right ) - 8 \,{\left (15 \, a b^{7} p x^{3} + 21 \, a^{3} b^{5} p x^{2} + 35 \, a^{5} b^{3} p x + 105 \, a^{7} b p\right )} \sqrt{x}}{3360 \, b^{8}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.30382, size = 601, normalized size = 3.93 \begin{align*} \frac{\frac{{\left (\frac{840 \,{\left (b \sqrt{x} + a\right )}^{8} \log \left (b \sqrt{x} + a\right )}{b^{6}} - \frac{6720 \,{\left (b \sqrt{x} + a\right )}^{7} a \log \left (b \sqrt{x} + a\right )}{b^{6}} + \frac{23520 \,{\left (b \sqrt{x} + a\right )}^{6} a^{2} \log \left (b \sqrt{x} + a\right )}{b^{6}} - \frac{47040 \,{\left (b \sqrt{x} + a\right )}^{5} a^{3} \log \left (b \sqrt{x} + a\right )}{b^{6}} + \frac{58800 \,{\left (b \sqrt{x} + a\right )}^{4} a^{4} \log \left (b \sqrt{x} + a\right )}{b^{6}} - \frac{47040 \,{\left (b \sqrt{x} + a\right )}^{3} a^{5} \log \left (b \sqrt{x} + a\right )}{b^{6}} + \frac{23520 \,{\left (b \sqrt{x} + a\right )}^{2} a^{6} \log \left (b \sqrt{x} + a\right )}{b^{6}} - \frac{6720 \,{\left (b \sqrt{x} + a\right )} a^{7} \log \left (b \sqrt{x} + a\right )}{b^{6}} - \frac{105 \,{\left (b \sqrt{x} + a\right )}^{8}}{b^{6}} + \frac{960 \,{\left (b \sqrt{x} + a\right )}^{7} a}{b^{6}} - \frac{3920 \,{\left (b \sqrt{x} + a\right )}^{6} a^{2}}{b^{6}} + \frac{9408 \,{\left (b \sqrt{x} + a\right )}^{5} a^{3}}{b^{6}} - \frac{14700 \,{\left (b \sqrt{x} + a\right )}^{4} a^{4}}{b^{6}} + \frac{15680 \,{\left (b \sqrt{x} + a\right )}^{3} a^{5}}{b^{6}} - \frac{11760 \,{\left (b \sqrt{x} + a\right )}^{2} a^{6}}{b^{6}} + \frac{6720 \,{\left (b \sqrt{x} + a\right )} a^{7}}{b^{6}}\right )} p}{b} + \frac{840 \,{\left ({\left (b \sqrt{x} + a\right )}^{8} - 8 \,{\left (b \sqrt{x} + a\right )}^{7} a + 28 \,{\left (b \sqrt{x} + a\right )}^{6} a^{2} - 56 \,{\left (b \sqrt{x} + a\right )}^{5} a^{3} + 70 \,{\left (b \sqrt{x} + a\right )}^{4} a^{4} - 56 \,{\left (b \sqrt{x} + a\right )}^{3} a^{5} + 28 \,{\left (b \sqrt{x} + a\right )}^{2} a^{6} - 8 \,{\left (b \sqrt{x} + a\right )} a^{7}\right )} \log \left (c\right )}{b^{7}}}{3360 \, b} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]